Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
61	Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo Add to Reading List Source URL: coccinelle.lip6.fr Language: English - Date: 2012-01-04 11:08:48 Cryptographic software Internet security Object-oriented programming languages OpenSSL Data types Subroutines Coccinelle D Software bug Scope Relational operator Printf format string
62	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:31 Software engineering Computer programming Programming language theory Type theory Data types Functional languages Functional programming Procedural programming languages Standard ML Algebraic data type Tagged union Unification
63	T, Earl Grey, Hot: Generics in .NET An overview of generics by JeremyBytes.com Overview Generics give us a way to increase type-safety of our types and methods while still keeping them extensible and reusable. Most C# de Add to Reading List Source URL: www.jeremybytes.com Language: English - Date: 2012-10-11 22:37:36 Software engineering Computer programming Computing Java Cross-platform software Procedural programming languages Object-oriented programming languages Object-oriented programming Is-a C Sharp Template Go
64	Titanium Group (Past and Present) Titanium: A Java Dialect for High Performance Computing Dan Bonachea U.C. Berkeley Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:58 Software engineering Computing Computer programming Data types C++ Object-oriented programming languages Procedural programming languages C D Const Scala Foreach loop
65	Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-01-06 13:25:00 Type theory Functional languages Proof assistants Dependently typed programming Logic in computer science Coq Dependent type Functional programming Haskell Inductive type Quicksort CurryHoward correspondence
66	Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-02-21 09:31:36 Software engineering Computing Computer programming Compiler construction Data types Variable C++ Functional languages Compiler correctness Thread-local storage Pointer C dynamic memory allocation
67	igpp.docgen tool Last update: May 10, 2012; Author: Todd King Introduction The igpp.docgen executable jar is a set of tools to parse structured information (metadata) and merge the information with an Apache Velocity tem Add to Reading List Source URL: release.igpp.ucla.edu Language: English - Date: 2015-08-31 13:41:47 Computing Software engineering Computer programming Data types Cross-platform software Object-oriented programming languages Java platform Primitive types Java class file Java C++ classes Pointer
68	ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-08 17:06:02 Data types Type theory Java Concurrent programming languages Object-oriented programming languages Immutable object Const Final Subtyping Scala Type qualifier Takes
69	Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier Add to Reading List Source URL: spw14.langsec.org Language: English - Date: 2014-06-12 22:54:26 Software engineering Computing Computer programming Data types Cross-platform software Object-oriented programming languages Procedural programming languages C Printf format string Relational operator Const Type conversion
70	The NAS Parallel Benchmarks in Titanium by Kaushik Datta Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial satisfaction of the Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:57 Object-oriented programming languages Procedural programming languages Data types Benchmark Array data structure Stencil code Fortran NAS Parallel Benchmarks Array data type Array Titanium Standard Performance Evaluation Corporation

UPDATE